home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / ada / c01lab5.zip / SPACEMON / CHECKERS.SRC < prev    next >
Text File  |  1992-03-17  |  264b  |  6 lines
  1. with Spacecraft_Sensor_Interface; use Spacecraft_Sensor_Interface;
  2. package Checker is
  3.     function Check_Value(arg:PRESSURE) return BOOLEAN;
  4.     function Check_Value(arg:RADIATION_LEVEL) return BOOLEAN;
  5.     function Check_Value(arg:TEMPERATURE) return BOOLEAN;
  6. end Checker;